wayland: scale down reported monitor geometry
authorOlivier Fourdan <ofourdan@redhat.com>
Tue, 27 Jun 2017 09:12:57 +0000 (11:12 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 27 Oct 2017 20:01:38 +0000 (16:01 -0400)
commit999848e0c68dc7dbd319150208386b0a536d6780
tree32ddff4bd84ab6bdc1f294f248fdbab383aef3e6
parentbdd2ca9a6015a857c22e1e113dc043a1b6db6137
wayland: scale down reported monitor geometry

According to the documentation, gdk_monitor_get_geometry() reports the
monitor geometry in ”application pixels”, not in ”device pixels”,
meaning that the actual device resolution needs to be scaled down by the
scale factor of the output.

x11 backend does that downscaling, whereas Wayland backend did not,
causing a discrepancy depending on the backend used.

https://bugzilla.gnome.org/show_bug.cgi?id=783995
gdk/wayland/gdkscreen-wayland.c